Section: New Software and Platforms
math-comp-finmap
Finite maps and ordered types library
Keyword: Proof assistant
Functional Description: Support for reasoning about finite maps and ordered types
Release Functional Description: This release is solely an update of order.v and set.v in order to integrate the changes in math-comp/math-comp#270